How do you prove a heuristic is admissible?
Proving a heuristic is admissible usually means proving two things:


it follows the triangular inequality principle
given the same preconditions, the heuristic never overestimates the actual solution