Den säsom ett axiom antagna satsen , attsto