Den såsom ett axiom antagna satsen , attstogens