Edipo re, Edipo a Colono, Antigone