@Teio, PM me the proofs.