theorem :: GR_CY_3:32

canceled;