theorem :: BHSP_3:3

canceled;