sylow problem done
lattice part a done