theorem :: XPRIMES2:6494

canceled;