乗法を導入する際に、分配則の必要充分条件が公理に入っているのだから、それは当たり前。
何故公理に入れるのかって疑問には何ら答えがない。