6.1265

Siempre se puede interpretar la lógica de tal manera, que cada proposición sea su propia prueba.