theorem :: BHSP_3:27

canceled;