1 coinduction — 共诱导