On Thu, 30 Sep 2010 00:47:02 +0200 Frederik Ramm <frederik at remote.org> wrote: > Why not do it the other way round Could you answer the question? You cannot deduce the answer to the original question from the answer to the corollary.