同値変形

よって、世界中のすべての人間を調べてそれらがすべて他人だったら自分は存在しないし、
そうでなければ、自分の存在が証明される。