Category:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum