fixing zero hour in proof. symmetry ack!