Against intuitionism: Constructive mathematics is part of classical mathematics