Plenty have.
GC holders get divorced, such is life. They wait the required 5 years since LPR status and apply for Naturalization. Of course a USCIS officer has discretion to review an applicant's entire immigration history to check if the marriage was entered into to get a green card. If the officer is satisfied the marriage was bonafide when entered into, and the applicant is otherwise eligible, n400 is usually approved.