正多面体は内接球を持つ