theorem :: XPRIMES2:2469

canceled;