NINE / MATH / CIRCLE / Theorem 1