[Proofs by Bernard Willem Wierink]