Hacker News new | ask | show | jobs
by Jeff_Brown 1675 days ago
I suppose it depends on your definitions, but most constructive proofs construct an entire solution -- that is, leaving no variables free unless the solution applies to any value of them. This only solves for J assuming the others can be solved for.