User blog comment:Vel!/Laver.c/@comment-5150073-20140822085835/@comment-25418284-20140822160330

what part of what I said contradicts the theorem?