is there any way to do this problem without that theorem. . . that theorem is awesome though