公理に絶対的な必然性とかないから自由に外してもいいとは思うけど
例えば任意のk∈K,u∈Vに対してku=k(1u)が成り立つ
あと0u=0とか-u=(-1)uとかも自然に示せなくなりそう