theorem :: XPRIMES1:1266

canceled;