Благодарю Андрей Владимирович, с единичкой разобрался!
К сожалению сейчас вынужден покинуть обитель интернета и свой ноут,
оставшую часть решения разберу сегодня глубоким вечером и ночью,
завтра сообщу результат, но полагаю Вы правы и самое сложное - это 6 и 7.
Что касаемо контрпримера - это увы мой недочет, примечательный (замечательный) случай,
когда коэф-т подобия равен 1 (и следовательно треугольники не только подобны, но и равны)
надо мне было исключить еще в условиях Дано.
Архетип контрпримера, по моему убеждению, все же должен охватывать общий случай.
В любом случае, большое Вам спасибо !