Canlyniadau Chwilio - "normal π-projective hypermodule"