>>79
厳密に言えば、陰関数が本来の意味で関数であるためには
yについての方程式と見なしたときに解が一つしかない必要がある。