theorem :: XPRIMES2:678

canceled;