cleaned up proof for B3 part2 a bit