stod att bevisa utur N.