So, that means if there are statements in the program and we have 1 statement here which is S and DEF is X; that means, it must be having of the form X = a + b or something.
எனவே, நிரலில் அறிக்கைகள் இருந்தால், மற்றும் நம்மிடம் 1 அறிக்கை இருந்தால் S மற்றும் DEF என்பது X ஆகும்; அதாவது, இது X = a + b அல்லது ஏதாவது வடிவத்தைக் கொண்டிருக்க வேண்டும்.