>>891
(x,y) → (2x,2y)
なるほど左のオペランドが右に対応しているって事ですね

この関係式から式自体導けませんか?