theorem :: XPRIMES2:4965

canceled;