Alex and Nan's proofs #7
2004
Best in Category