费马数的几个基础性质