theorem :: XPRIMES2:2780

canceled;