theorem :: XPRIMES2:286

canceled;