File:Proof length function by Pellucidar12 (December 26, 2016)