This case does not prove what you think it does because the market for "Intel compatible PC operating systems" does not consist of a single competitor (there are much stricter legal requirements when alleging a single-competitor market).