Por el primer teorema japonés: