theorem :: XPRIMES2:2987

canceled;