theorem :: ORDERS_1:1

for D being non empty set holds not {} in BOOL D