Yidare bevisar man genom vidlyftiga beräkningar,