theorems by Fermat