Talk:Smile/@comment-24519445-20150918065650

GL and I found the proof! :)