mathworld subject proofs