Proof by calculation (1996)

by M Oostdijk