id proves P |- P where the same formula is on the left hand side among its assumptions and among the alternatives to show in its succedent.