火星は惑星の一種である．