proving (163.282)