Corollary Equipment

open
statement