Stadler form theo

(7)