PROOF 74
소수 곱셈에서 소수점 자리는 더해진다
유리수 ℚ 위에서.
정의 D1
소수점 아래 m 자리 소수는 A · 10⁻ᵐ 로 쓸 수 있는 수다. A 는 정수다.
증명.
관련 실험실