Create Theorem.java