Está muy bien esta idea. Hay que tener en cuenta que lo que demostraste ahí es una de las dos implicancias que hay (la de que si son independientes entonces sus probabilidades son 0 o 1). Faltaría probar el recíproco (que es básicamente verificar que se cumple la definición de independencia).
Saludos
Saludos