reduction proof part 1 mostly finished