Общая часть доказательства
Коричневая лемма: взвешенная коника
Коричневая четвёрка ABCG подчиняется отдельному взвешенному соотношению; в семействе ABCDG оно совмещено с жёлтой нормой.
Полиномиальная параметризация этой коники и её совместимость с B+C=D+G закреплены сертификатом yellow_brown_abcdg_square_mask.