theorem :: BHSP_3:7

canceled;