theorem :: XPRIMES2:6108

canceled;