finished proof