as this seems to be a great solution I am not supposed to be using anything besides the basic set theory laws
Random Variable's solution is actually very nice since the proof doesn't involve knowledge of any laws or theorems - just the basic definitions. It's probably worth it for you to review his argument. The argument using the laws is much quicker and simpler than this argument (as are most arguments that use already established results).