A Variation of Proof

I'm taking two graph theory courses this semester, one from the math department with Judy Walker and another from the computer science department with Jitender Deogun. It's both fun and confusing to notice the difference in their proof styles.

You can tell Walker is a mathematician: she uses past knowledge to reduce a problem to something easy to prove. (Method: Setup : Theorem : Ingenuity).

You can tell Deogun is a computer scientist: he uses ingenuity to reduce a problem to something already solved. (Method: Setup : Ingenuity : Theorem).

Both are entirely valid methods. Walker likes to put forth a constructive, well-organized argument, and Deogun likes to say "Can you see that we are done?"