theorem :: XPRIMES2:5678

canceled;