theorem :: BHSP_3:20

canceled;