Direct Proof In Discrete Mathematics