Check whether theory is non-empty