Il annonce son résultat dans une courte communication (Giraud 1936), sans preuve et sans mentionner le travail antérieur de Mikhlin(en). C'est Mikhlin qui a donné la première démonstration de ces formules dans (Mikhlin 1965, p. 9), complétant ainsi sa théorie en dimension 2.