theorem :: XPRIMES2:5671

canceled;