Theorem 1: Pork is a vegetable.
Proof: Pigs are cannibals. Using Thm. 1 and transitivity of being a vegetarian we obtain the desired.
Corollary 1: I had a vegetarian dinner tonight.
Proof: Trivial.
Theorem 1: Pork is a vegetable.
Proof: Pigs are cannibals. Using Thm. 1 and transitivity of being a vegetarian we obtain the desired.
Corollary 1: I had a vegetarian dinner tonight.
Proof: Trivial.