theorem :: XPRIMES2:3477

canceled;