There are 10 kinds of people in this world. Those who understand binary and those who don’t. If you don’t understand this joke, you are in the latter group.

If you are in the former group, can you prove that 32! (32 factorial) written in binary will have 32?31 zeros? You cannot write a program to do this.