theorem :: XPRIMES2:6992

canceled;