theorem :: XPRIMES2:5570

canceled;