Circle theorem 8 - alternate angles