¬¬p→p

id:tarao