added Fermat's little theorem and n and proof n is composite