Let and . Prove that is a Dedekind cut and also that it has the property ; that is, the square of is . Note: This seems to be surprisingly tricky, as pointed out by Linda Hill and Robert J. Fisher at Idaho State University. Their solution is available from them or from the author.