Overflow I know something but I can't prove it

@Júnior