for f, g being FinSequence of REAL st f,g are_fiberwise_equipotent holds
max f = max g