rectangular trampoline subgroup of trampoline, 2 assertions