てか正解はどっちなんやろね？
実際単位元の存在が証明できるのか、持たない反例が存在するのか
まぁ気にはなるけどどうでもいい気もする