theorem :: XPRIMES2:8965

canceled;