... rectangles (bricks), typeA with dimensions (a1, ,ad) and type B with dimensions (b1, ,bd). We want to usetranslates of such bricks to fill completely, and with no overlaps (except at ... part of the zero sets of the first and second terms in theleft hand side of (2) respectively. But the intersection of these hyperplanes, on which setthe left hand side vanishes, contains points ... brick A can tile Q alone, and there is nothing to prove. So we may assume that one of them is not an integer, saya−11/∈ Z.Bychoosingi =1andj =2, 3, ,d in turn, and using our key observationabove,...