User blog comment:Vel!/Formal logic challenge/@comment-10429372-20140710101014/@comment-1605058-20140710112331

I believe FBZ meant Lagrange's theorem in group theory.

0 isn't in Z+.