Theorem and proof style file