theorem :: XPRIMES2:5460

canceled;