We give a computer-based proof of the following fact: If a square is tiled by seven convex tiles which are congruent among themselves, then the tiles are rectangles. This confirms a new case of a conjecture posed by Yuen, Zamfirescu and Zamfirescu.

翻译：我们用计算机证明以下事实:如果一个广场被7个相互一致的锥形瓷砖堆积在一起,那么瓷砖就是矩形。 这证实了由永、赞法斯库和赞法斯库提出的一个新的猜测。