theorem :: XPRIMES2:6192

canceled;