P
Initializing...
Claim 15.1: the distance from x to the hyperplane {v : ⟨w,v⟩ + b = 0} with ‖w‖ = 1 is |⟨w,x⟩ + b| · Prove2Me