theorem :: XPRIMES2:6678

canceled;