Twierdzenie Clausiusa