theorem :: BHSP_3:10

canceled;