n=7 zum Induktionsanfang