added proof for B3 part2. still working on it though