Analise o seguinte trecho de um algoritmo em pseudocódigo.

Se (Bl)

Então     { comando1

comando2

}

Senão {  Se (B2)

Então  { Comando 3

}

Senão

{ Comando4

}

}

Comando5;

Analisando-se o trecho acima que apresenta comandos condicionais ''se• aninhados com o início e fim delimitados por { }, é correto afirmar que: