Comment by burntsushi

The GP said the proleptic Gregorian calendar, so they are correct. (Assuming their formula is correct, which I haven't checked.) If they had said, "here's how humans in Western civilization could calculate the leap year of their current calendar back to year zero," then your quibble (and probably others) would be warranted. :-)