lengthy proof, 1/32 thru