Thread:RCZeero/@comment-39545695-20200808231119/@comment-44413999-20200808235712

proof