Final answer:
By using structured programming constructs in a procedural design, proving design correctness becomes easier.
Step-by-step explanation:
The statement is true. By using only structured programming constructs in a procedural design, the process of proving design correctness becomes easier. Structured programming uses control structures such as loops, conditionals, and subroutines, which make the code more organized and easier to analyze. These constructs allow developers to break down the problem into smaller, more manageable pieces, making it easier to identify and fix any errors or issues.