theorem :: BHSP_3:1

canceled;