In math - a proposition that is incidentally proved in proving another proposition