Potremmo chiudere gli occhi, come fanno di solito i matematici, e andare oltre, applicando le ora nostre, necessarie regolette. Ma non avremmo capito.
Queste regole sono Condizione Necessaria perche' la proprieta' distributiva possa valere, quindi in una costruzione-invenzione di un tal prodotto, dovremmo accertarci a priori durante la sua costruzione che siano soddisfatte.
E' purtroppo un'abitudine stitica che si e' consolidata tra i matematici, di:
invece di:
In questa formulazione ridondante potremmo richiedere esplicitamente le proprieta' necessarie, e poi come ciliegina sulla torta la proprieta' principe.