Gs' Maths

theorem, agorean theorem and K theorem introduction.