25
@corollaries