User blog comment:Vel!/Hilbert ITTMs/@comment-10429372-20140724163701/@comment-1605058-20140724182512

Your argument is correct, it was my mistake that I wrote otherwise.