theorem :: XPRIMES2:2286

canceled;