theorem :: XPRIMES2:2648

canceled;