While some people delete their journal entries, I do not. Go back to a classic of mine to see the original argument. You can't comment on it any more - on account of it being more than 4 years old - but feel free to comment here if you'd like.
If in any problem you find yourself doing an immense amount of work, the
answer can be obtained by simple inspection.