\text{Theorem\ 1:}
