- nested subordinates for theorem now is completed