Implemented fermat's little theorem and documented guards.
Added default value for fermat trials.