Source: http://www.pcsijbmath.sitew.fr/fs/Root/bjl7l-C01_Inj_Surj_Bij_Methode.pdf