>>11
普通は含む
そうでないと相似であることの証明に
合同かどうかの判定が必要になってしまう。

例えば三角形で
二つの内角が等しい
ことを示しても、さらに辺の長さが等しくない事を示さないといけなくなる。