theorem :: XPRIMES2:6286

canceled;