theorem :: XPRIMES2:5104

canceled;