4 ms·
Some steps of the proof are left out. In particular, the correctness of the computation for its purpose is omitted :)
by anonymoushn 4y ago
Some steps of the proof are left out. In particular, the correctness of the computation for its purpose is omitted :)