theorem :: XPRIMES2:5122

canceled;