Досточно ли в пункте а) приведенного решения такого доказательства? Ведь просто доказали, что kc1 перпендикулярно плоскости abb1. И не слово о том, что kc1 принадлежит плоскости альфа.

Как это кратко обосновать? я пришел к тому, что через точку k мы можем провести единственную нормаль, которая и оказалась kc1. И плоскость проходящая через нормаль kc1 и точку m - единственная.

Как еще можно обосновать или исправить мое обоснование?