theorem :: XPRIMES2:6965

canceled;