>>33
「愛あればCAIなし」の対偶は「CAIあれば愛なし」よw
証明できます? できればネットの方で.
リアはみんなMizar使ってできてるしw