高木は数学の証明がわかっていない、高木の証明は証明になっていない、ど素人の悲しさ