[math-fun] A new factor of the Fermat number F12