[next] [prev] [prev-tail] [tail] [up]
An answer:
back substitution and separation of variables yield
[next] [prev] [prev-tail] [front] [up]