check for already existing equivalent proof

check for already existing equivalent proof #8824