prove_barberi_16 (5)