User blog comment:B1mb0w/Mapping D(l,0,1) to epsilon nought/@comment-5529393-20150805093843

You say "Refer to this blog and Rule: L1 for proof of the iteration below", but I can't find a proof anywhere. What exactly is the proof of L1?