Linear mapping/Bijective/Inverse mapping linear/Fact/Proof/Exercise