Proof of circle theorems - solutions - .NET Framework