His formula seems to check. Someone else then asked about the number of rectangles is the original size was not 8 by 8 but, instead, an m by n rectangle. My student who proposed the original formula thinks this is a sum of sigma 1 to m of (m-x 1) and sigma 1 to n of (n-y 1)
2/2