theorem :: XPRIMES2:5284

canceled;