theorem :: XPRIMES2:7430

canceled;