Title: Mizar verification of generic algebraic algorithms