hide proof (will go to appendix)