[math-fun] Rook 3×4 and 4×4 graphs are graceful