At förmoda tet f5*