>>23は形式的なもんだから証明じゃないわな。