concordo é só isso mesmo..

printf("\n4-Divisao\n");
scanf ("%d",&opcao);