
premises
#sim_lemma_nint_l_l_2

line(1)
line(2)
~int_l_l(1,2)

conclusions

~int_l_l(2,1)
