- got statement theorem nested subordinates to fully function