- implementing the nested subordinates for statement theorem