sejtés, bizonyítás