需要证明。否则就是附加的己知条件。