P
Initializing...
(iii″) — for K₂ = Q, condition (iii) says the columns of Y and the first-column differences lie in K · Prove2Me