>>118
eの代わりに>>36なんかでも証明できることになるが。