Does anyone know how to derive Heap's Algorithm? Please do not give overall intuition or induction proof, looking for DERIVATION

Question

I fully understand how Heap\'s algorithm work and know how to implement it for problems, but I really would like someone to show me a mathematical proof on the correctness o