theorem :: XPRIMES2:3480

canceled;