Comme c'est le cœur du mémoire « approuvé par l'Académie » et qui l'a rendu célèbre, j'imagine mal que ce « lemme 5 bis » ait pu être connu avant. Ne croistu pas que Legendre a simplement préféré ne pas expliciter que la paternité de ce résultat aussi revenait à « Lejeune Dieterich » ?