added tests and comments to Theorem classes