n \ge 7 przed ostatnim twierdzeniem