Proving grammar only generate strings that is multiple of 3
Hint: num' generates (1) numbers of even length which are divisible by 3 and (2) numbers of odd length which equal 1 mod 3. For the rule num &#8594; 10 num' 01, consider the parity of the length of the number generated by num'.