Corollary added