>殆ど
 公理までさかのぼれない反例ってある?