In fact Gauss had proved these results, before either Minding of Bonnet, in 1825 but he had not published them.
Sa katunayan gauss had proved ang mga resulta, bago alinman Minding ng takip ng makina, sa 1825 ngunit siya ay hindi nai-publish ang mga ito.