initial condition proof