proving (191.577)