Diámetro tuberías cocina.

Hola,

Os quería preguntar acerca del reprto de tuberías en la cocina. La estoy reformando, y ahora me dispongo a empezar con la fontanería. Desde el termo de gas salen tuberías de 10 mm. Yo he pensado derivar a fregadero, lavavajillas y lavadora con tubos de 15 mm. ¿es correcto? En el baño que ya estaba hecha la instalación redujeron de 18 a 15. Gracias de antemano.