Sketch proof of A_is_definable