redkeys'de bixi dışında özgün adam yok. bu da onun ispatlarından sadece biri.