proving (141.225)