thels Theorem