theorem :: XPRIMES2:2790

canceled;