Talk:Ranks/@comment-31544884-20170430090634/@comment-32398246-20170902145930

proof?