Clausiuksen teoreema