Ex. 7: + deranTestProp1 (test for lengths), deranTestProp2 (test for inequality of list elements)