Please can someone produce, or point me at, a concise proof of this lemma: PB1: In a palindromic treble-dominated method with Plain Bob leadheads, on an even number of bells, the lead end place notations must be 12 or 1n. Thank you! MBD