Idempotency of entailment


idempotency of entailment is a theorem.