theorem :: XPRIMES2:8986

canceled;