theorem :: XPRIMES2:6508

canceled;