βが人間であることの証明