Si usas un "exit" tipo:
Código PHP:
<?
if ($_SESSION['formulario']!=1)
{
header ("Location: formulario1.php");
exit;
}
Te evitas tener que hacer el "else" y cerrarlo (}) mas abajo ...
Ten presente que si hay un error vas a redireccionar si o si hacia el fomulario (y si no redireccionas como ahora que usas el die() .. no tiene sentido ese "header()" ahí de tipo "Location").
Si tienes que mostrar un mensaje de error o exito .. muestralo en el escript que redireccionas (tu formulario1.php en tu caso, para eso pasa alguna variable de sesión .. tal cual lo haces con las otras variables para identificar que llegas por ese lado).
Un saludo,