theorem :: XPRIMES2:6274

canceled;