theorem :: XPRIMES2:2465

canceled;