Basta dimostrare che la regola (cong) di CL e' derivabile,
cioe' che 
           M=N, P=Q |- MP=NQ  in CL' senza (cong) [cioe' in CL]


1. M=N     (ipotesi)
2. MP=MP   (assioma rifl)
3. MP=NP   (congr2)(1,2)
4. P=Q     (ipotesi)
5. MP=NQ   (congr1)(4,3)