theorem :: XPRIMES2:2889

canceled;