Cue: pascal; Association: theorem