take the Element of omega ; :: thesis: the Element of omega is natural
thus the Element of omega is natural ; :: thesis: verum