Хотел использовать гпт, чтобы вставить задачу на одну идею в листок. Кажется, на летних курсах меня пока бездушная машина не заменит.

Это, кстати, пятая итерация, сначала гпт усиленно пытался пользоваться тем, что инверсия сохраняет углы в формулировке ABC = A’B’C’