Corollary Equipment

open statement