theorem :: XPRIMES2:1430

canceled;