Open on Corollary →

Input

Result

About the model