theorem :: XPRIMES2:3965

canceled;