theorem :: XPRIMES2:3280

canceled;