משפט ליוביל (קירוב דיופנטי) – הבדלי גרסאות