Det andra bewjsct är : atinan