[Proofs by L.W.R. Wenckebach]