Let be a finite group and suppose that , are two subgroups of such that and . Show that
Recall that and thus . Hence and so
where and .
Now, since and we have and that is and . So if we let and then and thus
due to .
The exercise along its solution have been migrated from here .