theorem :: XPRIMES2:648

canceled;