Hewitt–Savage zero–one law