theorem :: BHSP_3:41

canceled;