for A, B being Element of LTLB_WFF
for F being Subset of LTLB_WFF st F \/ {A} |-0 B holds
F |-0 A => B