Added comments to Readme and Theorem tests