theorem :: XPRIMES2:3060

canceled;