定義は、単なる命名だから、
異なるものを同じ名前で呼ばない限り
辻褄はあっている。
計算するフリは、必要ない。