同一律

$ A \to A