Si és cert que "Com que aquestes primeres demostracions eren totes indirectes i no constructives, eren contràries als ideals constructivistes de Brouwer.", se segueix que "Els ideals constructivistes de Brouwer requerien demostracions directes i constructives."?
Si.