Two 'admit's remain open
Done the easy part in multiplication