Vi antaga nämligen , att denjemt