theorem :: XPRIMES2:3473

canceled;