we want to be a normal for some transformation N:
and this certainly holds if
no change to the normal
rotation applied unchanged to normal
reciprocal scale applied to normal