theorem :: XPRIMES2:2991

canceled;