theorem :: BHSP_3:4

canceled;