a solution of ^