Proof normal