Условие принадлежности четырех точек одной окружности

Проведите эксперимент и закончите формулировку теоремы:

Теорема (условие принадлежности четырех точек окружности). Если для четырех точек плоскости A, B, M и K выполняется одно из следующих двух условий:

а) точки M и K расположены от прямой AB и при этом AMB = AKB;

б) точки M и K расположены от прямой AB и при этом AMB + AKB = 180°,

то точки A, B, M и K лежат на одной окружности.