Fermat's Last Theorem from Ribet's Theorem and Wiles's Modularity Theorem