Consider the proposition 'A ship has mass. Therefore, all the parts of the ship have mass.' Which of the following statements is correct about the above statement?

The statement is not faulty, since mass genuinely distributes to the parts.

The move goes from the whole ship to each of its parts.

A fallacy of division arises only when a whole's property need not belong to its parts.

Mass is an additive property, so every part of a body that has mass itself has mass.

Because the inferred property really does carry down to the parts, no error occurs.

The reasoning is sound rather than a case of the division fallacy.