pag. 4 conseguenza e validità

Provare a dimostrare lo schema K in G3K senza K