started proof a* optimal