corollaries

  1. REDIRECT Corollary {{R from plural}}