Оскільки площини Альфа і Бета перетинаються по прямій m, то точка перетину прямих а і b лежить на прямій m.
Також, оскільки пряма а перетинає площину y у точці А, то точка А лежить і на площині y.
Аналогічно, оскільки пряма b перетинає площину y у точці А, то точка А лежить і на прямій b.
Отже, точка А належить прямій m, яка є перетином площини альфа і бета.
Це доводить, що точка Яа теж належить прямій m.