Do you have a reference for this property of `atan2`?