Define Direct Proof In Math