In general , if is not a Carmichael number then at least half of all are Fermat witnesses .
These numbers are called Carmichael numbers .