whence it follows that

Звідки виходить

що