無限遠の零は大前提