Template:Basic number theory fact