\mathrm{Theorem\ 1:}