take <i> ; :: thesis: ( <i> is number & <i> is complex )
thus ( <i> is number & <i> is complex ) ; :: thesis: verum