theorem :: XPRIMES2:5116

canceled;