Låtom oss nu antaga att förslaget,