Source: https://www-old.dbs.ifi.lmu.de/Lehre/InfoNF/SS08/Vorlesung/InfoNF_04_1.pdf