But then, since μ⊤μ⊤ is arbitrary, we can simply get rid of μ⊤μ⊤, and turn the constraint into the inequality λ⊤A≥c⊤λ⊤A≥c⊤, getting an equivalent of the canonical formulation. Okay, it probably isn't clear yet why this formulation makes it so much better...