User blog comment:Vel!/FGH Gripe/@comment-10429372-20150324200508/@comment-2033667-20150324200812

This isn't what I want to focus on, but no, he's using two different n's, which is bad and confusing but doesn't affect his proof much.