Finite partial quadruple systems can be finitely embedded - Ganter, Bernhard 1949- (Preprint, 1973)