theorem :: XPRIMES2:6480

canceled;