zoom in on comment
im @redbaron2k7 and im #834 i circled the proof (i had to crop so you could read it on the project)
