Applying the Theorem in a specific example