Fermat's theorem added