PROOF

found: 0