20人しかおらんことの証明ができるな