2025 Fall: Introduction to Fermat's last theorem