theorem :: BHSP_3:21

canceled;