No definition exists for Thomas'%20Theorem