You're certainly right that any constructively provable statement is classically provable, that follows from intuitionism/constructivism generalizing classical

You're certainly right that any constructively provable statement is classically provable, that follows from intuitionism/constructivism generalizing classical logic. But I don't see how we could interpret the following to mean that. > you can do intuitionist mathematics in classical mathematics