theorem :: BHSP_3:9

canceled;