その a,b,c が同値かどうかには、証明が必要だろ。
同値性を証明した後では、その中のどれが
「相似」の定義かには、こだわる必要がなくなるが。