Penerapan Induksi Matematika Dalam Pembuktian Matematika - Miksalmina, Miksalmina (Visipena, 2012)