User blog comment:Pellucidar12/Peng-Pellucid-Armstrong Number/@comment-29915175-20170102011204/@comment-1605058-20170102113034

One definitely has to specify what is meant by a "proof of length n". Without this, the number is not well-defined.