Integrated II - Proving Theorems about Lines and Angles