Kleydis Minsal finalKleydis Minsal proofs