theorem :: XPRIMES2:6764

canceled;