is it true that o produto de um número racional (não nulo) por um irracional é sempre irracional