theorem :: XPRIMES1:2570

canceled;