theorem :: BHSP_3:24

canceled;