Factor[5^12-1]