Commented out the incompleted part of proof in breduce.thm