If X1 Is A Factor Of