cavitymechanics - Revision 32: /proofs