Twierdzenie o wolnej przekątnej