ラヨ関数は公理を指定しないとwell definedにならないけど、その公理はラヨ関数の強さには関係しない模様