BT Yev 111a(30) :אי משום הא לא איריא‏ : if it is on account of this it is not a proof
See the entire entry for ˀyryˀ n.m. conclusive argument, clear understanding