theorem :: XPRIMES2:5107

canceled;