>>340 の証明は間違いである。