La costruzione/dimostrazione di Giacomo è sostanzialmente corretta, a parte un po' di segni di &quot;contenuto&quot; che invece dovrebbero essere &quot;appartiene&quot;.

Forse poi sarebbe stato meglio nel finale usare [latex:2gl791b3]c_1[/latex:2gl791b3] e [latex:2gl791b3]c_2[/latex:2gl791b3] invece di c e d, soltanto per simmetria con l'uso di [latex:2gl791b3]b_1[/latex:2gl791b3] e [latex:2gl791b3]b_2[/latex:2gl791b3].