[1YD]Prerequisiti:[1Y9]↺↻,[01R]↺↻. Immaginiamo una diversa definizione per la coppia ordinata, definita come
mostrate che
Per mostrarlo vi servirà [01R]↺↻.
[1YF]↺↻
