Presentamos, usando tal noción, pruebas de tales