theorem :: XPRIMES2:7510

canceled;