theorem :: BHSP_3:19

canceled;