Ha nem tudod garantálni, hogy minden problémát megtalálsz (plusz néhány fals-pozitívat), akkor a hibátlan végeredményhez pontosan ugyanannyi tételt kell átnézned kézzel.