Description: It does not explicitly construct the example asked by the theorem, but proves that such example exists anyways.