NINE / MATH / CIRCLE / Theorem 2