lucas correspondence theorem