new makefile
bewijs stelling 134 groepen
stupid indentation
bewijs prop 135 groepen