따름정리,corollary Copy: 따름정리,corollary has comma Hide Show No older revisions availableNo older revisions available File does not exist