theorem :: XPRIMES2:8987

canceled;