all-square-uparrow ,[:base_of_frechet_filter,base_of_frechet_filter:] are_equivalent_generators