Det antages , att5