P
Initializing...
`scalar w * x = 0` forces `x = 0` when `w ≠ 0`. · Prove2Me