theorem :: BHSP_3:11

canceled;