Basic theory tools for degenerate Fermi gases