consider M being non limit_cardinal Aleph;
take M ; :: thesis: ( M is regular & not M is countable )
thus ( M is regular & not M is countable ) ; :: thesis: verum