不可约证明

irreducible proof