Talk:OR3O/@comment-43879485-20190920052539/@comment-33675330-20191109111351

proof