Let A 1B 1 cross point e, and from EF=B 1F, angle B 1=60 degrees -△ b 1ef is an equilateral triangle-angle B 1FE=60 degrees. So △ABF rotates 30 clockwise around point F, and A 1B 1 intersection AF happens to be point E. ..