theorem :: FUNCT_7:109

canceled;