theorem :: BHSP_3:6

canceled;