Did he not file for a green card based on his first marriage? He was married to her for about 5 years; surely he and that wife followed through on the paperwork at that time.