Verify by direct substitution that solves