proof part1