This is an endgame puzzle presented to me during my daily practice. I thought it was worth analyzing the required moves in depth. The position and White's first move was given in the puzzle. The moves were assisted by the endgame database. Comments are my own.
People who don't believe in magic haven't seen enough chess endgames.