Using Proofs to Create Theorems. Understand the “Flow” of Logic If you prove a fact for a category of objects, then you prove something for every object.