kuba wabona umunwa uhemetse to actually define the function b we need to employ the axiom of choice by the next year they had discovered three tumors within his liver