isPrimeTwin 9 == False
isPrimeTwin 11 == True

isPerfect 6 == True
isPerfect 4 == False

fermat 1 == 3
fermat 2 == 5
fermat 3 == 17

expApprox 2 (-5) == 0
expApprox 2 1 == 1