Pagpamatuod. Nahibal-an na naton nga ang teorya naghupot alang sa M = 2. Ipaniwala pinaagi sa induction nga gihuptan sa teorem ang M - 1, alang sa M ≥ 3. Atong ipakita nga ang teorema naghupot alang sa M.