Lévy's zero-one law