>>501
そうそう、このドモルガンって定理?それとも公理?