"and A. But nothing divides P except 1 and itself, so P divides A." . . . .