theorem :: XPRIMES1:1225

canceled;