众所周知，133是小于72的。