#todo F2 § The finite Field F2 can be defined with F=0,1, with 0F=0 and 1F=1. #TODO Show how addition and multiplication satisfies the axioms