theorem :: BHSP_3:26

canceled;