En este estado, las dos sentencias superiores podrían ser expresadas formalmente como: