theorem :: XPRIMES2:7480

canceled;