Multimedia resources designed to support learning from written proofs: an eye-movement study · Study