User blog comment:Pellucidar12/Peng-Pellucid-Armstrong Number/@comment-29915175-20170102011204/@comment-27513631-20170103001301

Sorry, I thought the OP specified 'proves that a unique number k satisfies', not 'proves that a unique number satisfies'. My mistake.