>>1

http://www.age.ne.jp/x/eurms/necessary_&_suffiicient_condition.html

http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html