左辺の位置と右辺の位置では定義
（例えば単位）が違うってのはあり？
実はもっと左やや右もあったりして。

まぁ元ネタはドジスンなわけだが。
Ａ＝ＢかつＣ＝ＡなのにＣ＝Ａが
有効になるのがＡの位置だったんで
それをＢまで移動しても有効な事が
Ｂ地点では保証されなかったって話。
Ａ地点での保証をＢ地点で有効にする
保証をＡ地点で発行し続けるのがみそ。
この元ネタに比べると実につまらない…。