Reverted last term in solvability conditions to use <du/dU,v_0> -
previous attempt at simplification was wrong (luckily REDUCE code uses
correct version).