Class field theory and the first case of Fermat's last theorem