ni uko waba udahakana cyangwa ngo ube upfobya icyaha wakoze since varieties are closed under arbitrary direct products all non trivial varieties contain infinite algebras