First Theorem

No statement.