[math-fun] 8x8 = 5x13