theorem :: XPRIMES2:6603

canceled;