Linear mapping/Bijective/Inverse mapping linear/Fact