theorem :: BHSP_3:18

canceled;