theorem :: BHSP_3:42

canceled;