prove A*