pätagliga bewis för wär sats , atttiden