P
Initializing...
In base $2$ every nonzero number has leading digit $1$ · Prove2Me