A statement following from the law of excluded middle Does the statement ~~$A\equiv A$ follow from the law of excluded middle?
 According to my book which is not on logic it does, but I do not know how to use the law of excluded middle for this simple tautology.

This question isn't clear.  Is the question "Can (~~A≡A) follow from the law of the excluded middle" the answer is 'yes'.  That follows immediately from every single tautology implying every other tautology.  Or equivalently, "all tautologies imply every other tautology."    
However, if the question is "does the law of the excluded middle necessarily imply (~~A≡A)", where "imply" gets understood to mean that the law of the excluded middle will appear in any proof of (~~A≡A) where (~~A≡A) is not an axiom, then the answer is 'no'.  As a simple example, (~~A -> A) and (A -> ~~A) along with modus ponens and ((A -> B) -> ((B -> A) -> (A ≡ B))) will imply that (~~A ≡ A).  There is no law of the excluded middle there, and (~~A≡A) is not an axiom.
