theorem :: XPRIMES2:8678

canceled;