* Write a description of class PyTheorem here.