solivtur ambulando
It is proved as one goes along. The problem may be resolved by action.