Fagin's Theorem