theorem :: XPRIMES2:7570

canceled;