theorem :: XPRIMES2:8992

canceled;