theorem :: XPRIMES2:654

canceled;