Apply suggestions from code review

components/Starknet/modules/architecture_and_concepts/pages/Smart_Contracts/cairo-and-sierra.adoc

@@ -21,7 +21,7 @@ Be aware that we can only prove things about Casm. That is, regardless of what t
 
 So it is necessary to translate Sierra into Casm, which is achieved with the Sierra -> Casm compiler.
 
-== Why do we need Sierra?
+== Why is Sierra necessary?
 
 To understand why we chose to add an additional layer between the code that the user writes (Cairo 1.0) and the code that is being proven (Casm),
 we need to consider more components in the system, and the limitations of Cairo.