Den sålunda uppkomna formeln 1 )bekräftades