theorem :: XPRIMES2:2570

canceled;