prove #2