Twierdzenie o zbiorze punktów stałych w symetrii osiowej

Zbiorem punktów stałych w symetrii osiowej względem prostej $k$k jest prosta $k$k.