あみだくじが全単射であることの証明ってない??