>>572
>>566ですが、⇔の前半の”（接点を(X,Y)）とする）”、⇔の後半の”（X）”の括弧は、
両方同時に書き加える、書き加えない場合の２つの命題をまとめてかきました。
わかりづらくてすみません。