Digital Invariants Discussion Revised

My treatment of PPDIs/Armstrong numbers on Lionel Deimel’s Farrago has been checked and revised. I have added a new theorem and revised a corollary that it affects. Although it remains to be proven that all bases above 2 contain non-trivial PPDIs, I can now confidently assert that {302}{1208}₅₁₃₀ is a PPDI. I’m sure my readers were eager to learn this. The discussion on my Web site begins here.