It's not clear to me how 2*(0, 2) = (6, 7).
It's not clear to me how 2*(0, 2) = (6, 7).