I t is easy by theory,but boring ,
There are 6 points,12 letters(or 8 letter.).So,It is boring at the detail,but it is simple in theory."而是很难,非常难,甚至可能是无解的".非常难OK,as 难no definition.无解is not OK.as it is theorem.There is no 无解的theorem in math.This Q at last is that verifying two polynomials are same.It is decidable.