Tal subestructura será la \textit{estructura generada} por formula_53.