theorem :: XPRIMES2:6430

canceled;