Equiv_Jの練習問題assign_equivの証明 #ProofCafe ref: http://qiita.com/yoshihiro503/items/5a6eb6f0c8d2b96c4d4c