For every scalar $c$, $c0_V=0_V$. Distribute over $0_V+0_V$ to obtain $c0_V=c0_V+c0_V$, then subtract. This is a consequence of vector space axioms, not an additional axiom.
Parents
Like how this is organised?
Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.