[math-fun] A prime factor of the Fermat number F14