Prove Theorem 6 1 Class Stamp