Định lí Gottesman–Knill