theorem :: XPRIMES2:2986

canceled;