Fermat theory