theorem :: XPRIMES2:5424

canceled;