Intro. Tagapagbuwag ng pormulang matematika na nagpapakita ng mga patunay ng teorema na may pasadyang mga parametro