位取り記数法の性質を利用した証明.