Procedimento ALUNO (x: inteiro);

a,b: inteiro;
início
a \( \rightarrow \) 0;
b \( \rightarrow \) 2;
enquanto ((a=0) e (b<=xdival) faça
se x resto b = 0 então a \( \rightarrow \) 1;
b \( \rightarrow \) b+a;
fim-enquanto;
se a=1
.então escreva "FALSO";
senão escreva "VERDADEIRO! ;
fim-se;
fim-proc;

O procedimento ALUNO como descrito acima tem por finalidade verificar se um número é