Pengenalan. Pembongkar rumus matematika yang memperagakan pembuktian teorema dengan penyesuaian parameter