3:53

1:55

3:53

3:53

2:05

In mathematical logic, a redundant proof is a proof that has a subset that is a shorter proof of the same result. That is, a proof
of
is considered redundant if there exists another proof
of
such that
and
where
is the number of nodes in
.