Juan de las Casas (I) - Juan de las Casas y sus dos esposas

Buenas noches,
estaría interesado en saber qué documentación o instrumento se ha usado para saber que Juan de las Casas II tuvo descendencia de su esposa Inés de Béthencourt, pero no de la primera, Isabel González Mexia, pues al parecer su descendencia, es decir, Inés de las Casas, casada con Fernán Pérez Martel, procedía de Isabel González Mexia y no de Inés de Béthencourt.
Podrías aclararme este aspecto?
Muchísimas gracias.
Mi correo es: omarti@gencat.cat y oriolmarti55@gmail.com
Atentamente,
Oriol Martí