theorem :: XPRIMES2:764

canceled;