Rozwiązanie: Odczytuję współrzędne wektorów normalnych n_1 i n_2. Korzystam ze wzoru na kąt ostry między prostymi o danych wektorach normalnych. Kąty na płaszczyźnie. Długość wektora. Iloczyn skalarny.