Should be simple enough to prove, here is the test to pass: https://en.wikipedia.org/wiki/Mirror_test