Uma pessoa de 18 ficar com uma de 13 é errado?

Eu soube recentemente que um menino que estudava na minha sala está namorando uma garota de 13. É pedofilia da parte dele?