Slutligen har man formulerat sin sats sd : doninhemsxa