theorem :: XPRIMES2:5793

canceled;