C O ] 3 M ar 2 01 8 EFFECTIVE VERSIONS OF TWO THEOREMS OF RADO