Моя ничего из теорем не проходила, но решила. Путём сложения частей сторон, выразила отрезки через целые, потом выразила одно через другое, подставила, получилось, что сумма этих равных отрезков равна 27, а они равны, значит и делится на 3, там алгебра чистая.