Den såsom ett axiom antagna satsen , attskogens