Liouville_constant in { r where r is Liouville : verum } ;
hence not LiouvilleNumbers is empty ; :: thesis: verum