Just flag. Don't reply. Replying makes the troll comment more prominent (as, obviously, does quoting it!). In cases as clear-cut as this, you can trust that the flag button will quickly and reliably do its job.

(Happy to delete this comment when you delete yours.)