all proofs completed

Signed-off-by: loopasam <samuel.croset@gmail.com>