8.1. Prove that each of these functions is valid change of coordina...