On Wed, Aug 15, 2012 at 03:08:30PM +0400, Serge D. Mechveliani wrote: > [..] > > May be, one needs to provide a proof for n Б┬╦ k < n ? Fixing a typo: "less or equal": n \.- k \leq n ------ Sergei