-- Pommersheim's Principle

All true theorems are obvious.

-- Keane's Kriterion

- All obvious theorems are true.
-- Pommersheim's Principle
All true theorems are obvious.

-- Keane's Kriterio... - Lemma: All horses are the same color.
Proof (by induction)

Case n=1: In a set with only one horse, it is obvious that all horses in that set are the same color.... - All is true given the right premises.
- All true wisdom is found on T-shirts.
- All true wisdom is found in taglines.
- A mathematician is a device for turning coffee into theorems" -- P. Erdo
- This above all; to thine own self be true -- Shakespeare
- All true wisdom is discovered in tag lines.