Det antages , att15