User blog comment:Flavio61/Croutonillion/@comment-5150073-20130811161857/@comment-1605058-20130811170715

Simpler proof - under unedited sequence step 142 requires us to redo step 142, which requires us to redo step 142, which... Cyclic definition proves lack of value.