Translation for "is corollary" to russian