Adds a more readable theorem style