не найден

• Complete proof is not yet at hand.