two corollary
Signed-off-by: Maxim Limonov <matemaks@ya.ru>