theorem :: XPRIMES2:2678

canceled;