proving (123.612)