2 共诱导 — coinduction