リファクタリング。

1-1-3の場合は二等辺三角形ではない。
さらにリファクタリング。

1-1-3の場合は二等辺三角形ではない。