theorem Th67: :: NUMBER15:67

<*1,1*> is a_solution_of_Sierp168