Is known, that human H1 knows 10 facts. Group of facts of human H1 is denoted as
M_{H1}={F1,F2, ...., F10}.
Is known, that human H2 knows 25 facts: M_{H2}={F1,F2, ...., F25}. Let us consider Champion of the humans, HC, who knows all facts: M_{HC}={F1,F2, ...., FN}, where N>25 is the number of...