Proofs are now theorem environments with hidden

content.