Martin's proofs

Up • Nina • SuppenKurtz • NI Xmas 00 • Martin's proofs