theorem :: BHSP_3:5

canceled;