User blog comment:Vel!/Laver.c/@comment-5150073-20140822085835/@comment-1605058-20140822155757

Actually, no: http://www.math.unicaen.fr/~dehornoy/Surveys/Dgs.pdf Theorem 3.14.