theorem :: NUMBER15:66

<*0*> is a_solution_of_Sierp168 ;