Proposición 1: S Para el tercer predicado consideramos el sistema de ecuaciones lineales: