Discovering Properties of Complex Numbers by Starting With Known Properties of Real Numbers