for L being non empty upper-bounded Poset holds not Top L in Irr L