2013-03-23から1日間の記事一覧
前回程度なら参照する定理を与えるだけで... # MESON [FACT_LE; ARITH_RULE `1 <= f ==> ~(f + 1 = 1)`; PRIME_FACTOR; DIVIDES_FA CT_PRIME; COPRIME_PLUS1; coprime; prime; NOT_LE] `!n. ?p. prime p /\ n < p` ;; 0..0..0..6..16..39..92..171..316..…
前回程度なら参照する定理を与えるだけで... # MESON [FACT_LE; ARITH_RULE `1 <= f ==> ~(f + 1 = 1)`; PRIME_FACTOR; DIVIDES_FA CT_PRIME; COPRIME_PLUS1; coprime; prime; NOT_LE] `!n. ?p. prime p /\ n < p` ;; 0..0..0..6..16..39..92..171..316..…