theorem :: XPRIMES2:5100

canceled;