fermats little theorem converse